projects / gtk4.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 129691f 4eaf860)
Merge branch 'option-names' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Tue, 2 Jul 2019 01:28:43 +0000 (01:28 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 2 Jul 2019 01:28:43 +0000 (01:28 +0000)
meson: Rename documentation option to gtk_doc

See merge request GNOME/gtk!972


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.